A Spectral Theorem for Sigma Mv-algebras
نویسندگان
چکیده
MV-algebras were introduced by Chang, 1958 as algebraic bases for multi-valued logic. MV stands for "multi-valued" and MV algebras have already occupied an important place in the realm of nonstandard (mathematical) logic applied in several fields including cybernetics. In the present paper, using the Loomis-Sikorski theorem for cr-MV-algebras, we prove that, with every element a in a cr-MV algebra M, a spectral measure (i. e. an observable) Aa : B([0,1]) —> B(M) can be associated, where B(M) denotes the Boolean cr-algebra of idempotent elements in M. This result is similar to the spectral theorem for self-adjoint operators on a Hilbert space. We also prove that MV-algebra operations are reflected by the functional calculus of observables.
منابع مشابه
On some classes of expansions of ideals in $MV$-algebras
In this paper, we introduce the notions of expansion of ideals in $MV$-algebras, $ (tau,sigma)- $primary, $ (tau,sigma)$-obstinate and $ (tau,sigma)$-Boolean in $ MV- $algebras. We investigate the relations of them. For example, we show that every $ (tau,sigma)$-obstinate ideal of an $ MV-$ algebra is $ (tau,sigma)$-primary and $ (tau,sigma)$-Boolean. In particular, we define an expansion $ ...
متن کاملNew Results on Ideals in $MV$-algebras
In the present paper, by considering the notion of ideals in $MV$-algebras, we study some kinds of ideals in $MV$-algebras and obtain some results on them. For example, we present definition of ultra ideal in $MV$-algebras, and we get some results on it. In fact, by definition of ultra ideals, we present new conditions to have prime ideals, positive implicative ideals and maximal ideals in $MV$...
متن کاملOn nuclei of sup-$Sigma$-algebras
In this paper, algebraic investigations on sup-$Sigma$-algebras are presented. A representation theorem for sup-$Sigma$-algebras in terms of nuclei and quotients is obtained. Consequently, the relationship between the congruence lattice of a sup-$Sigma$-algebra and the lattice of its nuclei is fully developed.
متن کاملFUZZY OBSTINATE IDEALS IN MV-ALGEBRAS
In this paper, we introduce the notion of fuzzy obstinate ideals in MV -algebras. Some properties of fuzzy obstinateideals are given. Not only we give some characterizations of fuzzy obstinate ideals, but also bring the extension theorem of fuzzy obstinate ideal of an MV -algebra A. We investigate the relationships between fuzzy obstinate ideals and the other fuzzy ideals of an MV -algebra. We ...
متن کاملIndividual ergodic theorem for intuitionistic fuzzy observables using intuitionistic fuzzy state
The classical ergodic theory hasbeen built on σ-algebras. Later the Individual ergodictheorem was studied on more general structures like MV-algebrasand quantum structures. The aim of this paper is to formulate theIndividual ergodic theorem for intuitionistic fuzzy observablesusing m-almost everywhere convergence, where m...
متن کامل